4

Loop-separable programs and their first-order definability

Year:
2011
Language:
english
File:
PDF, 399 KB
english, 2011